/*
 * sys/kern_main.c
 *
 * Copyright (C) 2008 - diyr
 *
 */

int main(unsigned int magic)
{
   /* TODO :
    * load interrupts
    * set syscalls
    * set timer
    * load kbdhandler
    * load vga
    * fork to a shell
    */
}
